(assert (and ()
